跟踪器相对简单和有效，我们仅针对特定的输入数据和相关功能的特定行为跟踪模板的执行。比较操作符必须满足哪些条件才能使排序算法有意义(或正确)，但在示例中只测试了一个与小于操作符(整数)行为完全相同的比较操作符。

跟踪程序的扩展在一些圈子中称为oracle(或运行时分析oracle)，是连接到推理引擎的跟踪器——一个程序，可以记录关于断言和推断某些结论的原因。

某些情况下，Oracle允许动态地验证模板算法，而无需完全指定替代模板参数(oracle就是参数)或输入数据(当推理引擎遇到问题时，可能会请求某种输入假设)。然而，可以用这种方式分析算法的复杂性还好(因为推理引擎的限制)，但工作量相当大。出于这些原因，我们不深入研究oracle的发展史，有兴趣的读者可以查看后记中提到的出版物(和其中的参考资料)。